$M_{1}$ $\parallel$decl $M_{2}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$M_{1}$.1 $\parallel$ $M_{2}$.1 \& ($M_{1}$.2).1 $\parallel$ ($M_{2}$.2).1